perm filename HILL[W87,JMC] blob
sn#836388 filedate 1987-03-14 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 hill[w87,jmc] Hill climbing in situation calculus
C00003 ENDMK
Cā;
hill[w87,jmc] Hill climbing in situation calculus
better(s1,s2)
<something> ā better(s,result(move(x,l),s))
better relative to a plan or a goal or both=consideration
better(s1,s2,<consideration>)
Introduce abstract components of the situation so it is no longer
purely physical and can be improved by knowing something, e.g. that
a plan will achieve a goal.
How can we determine that something was not better after all? How
can the program be disappointed? The conclusion that the new situation
is better is reached non-monotonically, and new information can
defeat it.